独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

基于自适应代理模型的结构动力可靠度分析方法

结构动力可靠度分析对于衡量结构的安全状态和工作性能具有重要的指导意义。采用一种同时考虑 动态激励载荷和材料力学性能参数随机性的动力可靠度计算高效方法,通过建立不确定性材料力学性能参数 与条件动力可靠度之间的 Kriging代理模型,推导动力可靠度的解析表达式;提出一个新的学习函数来构建自 适应的 Kriging代理过程,通过复合材料飞行器蒙皮骨架结构在随机振动载荷和随机材料力学性能参数共同作 用下的动力可靠度分析对所提方法的准确性与高效性进行验证。结果表明:所提方法不仅能够避免使用代理 模型对动力可靠度求解时由于使用数值积分所引入的误差,同时能够使用尽可能少的计算成本获得准确的动 力可靠度结果。     

Matching suitable feature construction for SAR images based on evolutionary synthesis strategy

In the paper,a set of algorithms to construct synthetic aperture radar（SAR）matching suitable features are frstly proposed based on the evolutionary synthesis strategy.During the process,on the one hand,the indexes of primary matching suitable features（PMSFs）are designed based on the characteristics of image texture,SAR imaging and SAR matching algorithm,which is a process involving expertise;on the other hand,by designing a synthesized operation expression tree based on PMSFs,a much more flexible expression form of synthesized features is built,which greatly expands the construction space.Then,the genetic algorithm-based optimized searching process is employed to search the synthesized matching suitable feature（SMSF）with the highest effciency,largely improving the optimized searching effciency.In addition,the experimental results of the airborne synthetic aperture radar ortho-images of C-band and P-band show that the SMSFs gained via the algorithms can reflect the matching suitability of SAR images accurately and the matching probabilities of selected matching suitable areas of ortho-images could reach 99±0.5%.     

X-ray induced alterations in the differentiation and mineralization potential of murine preosteoblastic cells

To evaluate the effects of ionizing radiation (IR) on murine preosteoblastic cell differentiation, we directed OCT-1 cells to the osteoblastic lineage by treatment with a combination of β-glycerophosphate (β-GP), ascorbic acid (AA), and dexamethasone (Dex). In vitro mineralization was evaluated based on histochemical staining and quantification of the hydroxyapatite content of the extracellular bone matrix. Expression of mRNA encoding Runx2, transforming growth factor β1 (TGF-β1), osteocalcin (OCN), and p21^CDKN1A was analyzed. Exposure to IR reduced the growth rate and diminished cell survival of OCT-1 cells under standard conditions. Notably, calcium content analysis revealed that deposition of mineralized matrix increased significantly under osteogenic conditions after X-ray exposure in a time-dependent manner. In this study, higher radiation doses exert significant overall effects on TGF-β1, OCN, and p21^CDKN1A gene expression, suggesting that gene expression following X-ray treatment is affected in a dose-dependent manner. Additionally, we verified that Runx2 was suppressed within 24 h after irradiation at 2 and 4 Gy. Although further studies are required to verify the molecular mechanism, our observations strongly suggest that treatment with IR markedly alters the differentiation and mineralization process of preosteoblastic cells.     

GaInP2外延膜中施主—受主对复合发光带的能量关量

通过变温与变激发强度的近红外光致发光研究了用ＭＯＣＶＤ方法、生长在ＧａＡｓ衬底上的Ｇａ０．５Ｉｎ０．５Ｐ（ＧａＩｎＰ２）外延薄膜的１．１７ｅＶ发射带的发光特性。１．１７ｅＶ发光带性质与０．９９ｅＶ及０．８５ｅＶ发光带的性质有着明显的差别。１．１７ｅＶ发光带的机理可用施主－受主对的复合发光来解释，其中施主－受主对系白处在Ｇａ格位上的Ｓｉ（ＳｉＧａ）及其最邻近的Ｇａ空位（ＶＧａ）所组成，记作ＳｉＧａ－ＶＧａ。考虑到ＧａＩｎＰ２中存在着很强的电子－格子耦合作用及其Ⅲ族子格子为部分有序，所以在施主－受主对复合发光中应计及Ｆｒａｎｃｋ－Ｃｏｎｄｏｎ位移△ＦＣ及该对在等效的部分有序势场中的相互作用能Ｅｓ（ＤＡＰ）。Ｘ—射线衍射实验表明，部分有序结构相当于成分调制，因而可用Ｋｒｏｎｉｇ－Ｐｅｎｎｅｙ模型来计算Ｅｓ（ＤＡＰ）值。这样，我们就导出了施主－受主对复合发光的新的能量表示式。     

表面结构表示法的新标准解析

目的对新旧标准表面结构标注规则的变化进行详细的分析和对比;方法简要介绍表面结构的表示法的新标准的适用范围;结果新标准影响粗糙度、波纹度和形状轮廓等相关标准;结论为读者正确理解和贯彻使用新标准提供参考。     

支持系统信息共享的制造信息映射与集成方法

 为解决系统集成中信息结构复杂和结构转换困难的问题,提出了一种异构制造信息的映射转化方法。通过对制造信息内容及信息间关系的分析,建立了包括物料、工艺、零件及资源在内的统一制造信息模型,并对模型支持下的制造信息结构化表达方法进行了研究。通过对制造信息映射情况的分析,总结定义了节点/属性计算单元和条件计算单元两类计算因子,并用一个实例说明了如何应用计算因子的不同组合实现信息的结构转换。提出了一种基于消息中间件的系统集成框架,对信息映射方法在框架中的应用模式进行了讨论。研究成果在某航空企业得到了应用实现,并取得了较好的应用效果,验证了所提方法的可行性。     

模型实时驱动的航空发动机沉浸式虚拟运行系统

为实现多学科信息的融合与沉浸式表达,针对当前虚拟现实技术在航空发动机领域的应用存在多学科信息综合表达不 足、仿真实时性低等问题,开发了一种跨学科异构模型集成仿真的航空发动机沉浸式虚拟运行系统。在信息融合与实时交互方 面,研究航空发动机气动热力性能实时仿真、实时控制、参数化结构建模与仿真、数据实时共享与多学科联合仿真集成等技术,实 现了模型实时驱动的航空发动机虚拟运行功能;在数据可视化及3维渲染方面,研究结构数据轻量化处理技术、实时渲染优化技 术,对温度、压力等流场数据进行实时映射,实现了逼真、流畅的沉浸式实时渲染效果。基于上述研究工作,在中国首次开发了1 套由模型实时驱动、跨学科数据集成的航空发动机沉浸式虚拟运行系统,结果表明：该系统实现了发动机结构、系统和性能模型数 据的关联与交互。相关技术和成果可用于协同设计、沉浸式评审、虚拟培训等场景,为未来实现数字孪生、虚实融合的数字发动机 研发提供关键技术支撑和参考。     

基于栈结构的浮点型数据表达式求值算法

表达式求值是程序设计语言编译中的一个基本问题，任何程序设计语言都涉及到了表达式求值的功能，对于按常规输入即中缀表达式输入格式的表达式求值问题不但要进行整型数据的运算，而且更重要的是浮点型数据的运算。